1. Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987
Author: Wilfried Sieg, editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Computable functions
Classification :
QA
9
.
59
.
W67
1987
